Attempto Controlled English (ACE)
نویسندگان
چکیده
Attempto Controlled English (ACE) allows domain specialists to interactively formulate requirements specifications in domain concepts. ACE can be accurately and efficiently processed by a computer, but is expressive enough to allow natural usage. The Attempto system translates specification texts in ACE into discourse representation structures and optionally into Prolog. Translated specification texts are incrementally added to a knowledge base. This knowledge base can be queried in ACE for verification, and it can be executed for simulation, prototyping and validation of the specification.
منابع مشابه
Paraphrasing Controlled English Texts
We discuss paraphrasing controlled English texts, by defining two fragments of Attempto Controlled English (ACE): Core ACE and NP ACE. We show that these fragments have features that one would usually expect from paraphrases. We also describe a tool that paraphrases ACE sentences into these fragments.
متن کاملMapping Attempto Controlled English to OWL DL
We describe ongoing work on the mapping between Attempto Controlled English (ACE) and OWL DL. ACE is a well-studied controlled language, with a parser that converts ACE texts into Discourse Representation Structure (DRS). We describe a relatively direct mapping of a subset of the DRS language to OWL DL. This mapping renders ACE an interesting companion to existing OWL front-ends.
متن کاملAttempto Controlled English and the Semantic Web
This report presents three tracks of research on Attempto Controlled English (ACE). First, we show how ACE can be translated into OWL DL and how OWL DL can be verbalized in ACE. Second, we describe work done in cooperation with the working group A2 Bioinformatics on using ACE as ontology language for protein interactions. Third, we summarise changes to ACE and its associated tools. Keyword List...
متن کاملAttempto Controlled English for Knowledge Representation
Attempto Controlled English (ACE) is a controlled natural language, i.e. a precisely defined subset of English that can automatically and unambiguously be translated into first-order logic. ACE may seem to be completely natural, but is actually a formal language, concretely it is a first-order logic language with an English syntax. Thus ACE is human and machine understandable. ACE was originall...
متن کاملVerbalizing OWL in Attempto Controlled English
We describe a verbalization of the logical content of OWL ontologies — using OWL 1.1 without data-valued properties — in Attempto Controlled English (ACE). Because ACE is a subset of English, the verbalization makes OWL ontologies accessible to people with no training in formal methods. We conclude that OWL can be verbalized in concise and understandable English provided that a certain naming s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره cmp-lg/9603003 شماره
صفحات -
تاریخ انتشار 1996